import dbc.*;

public class Test {
	public int i;
	public int[] t;
	
	public static void main(String[] args) {
		Test t = new Test();
		t.test(3, "pouet");
	}
	
	@Pre("i == 0")
	@Post("i == 3")
	public int test(int j, String pouet) {
		i += j;
		System.out.println("Fin de la methode test, i = " + i);
		return i;	
	}
}
